*** empty log message ***

diff --git a/src/ChangeLog b/src/ChangeLog
index e450bebd4d1d714111f990064a88e4dbd67c39c5..3954b5c5265399f3ca0d86cb651bf32e8a3e176d 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2000-12-12  Gerd Moellmann  <gerd@gnu.org>
+
+       * s/gnu-linux.h (GC_MARK_STACK): Define as GC_MAKE_GCPROS_NOOPS.
+
 2000-12-11  Gerd Moellmann  <gerd@gnu.org>
 
        * xfns.c (Fx_hide_tip): Fix last change.